Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Proof theory
• Mathematical logic
• Mathematics
• Proof mining
• Mathematical proof
• Consistency
• Constructive proof
• Formal proof
• Intuitionistic logic
• Approximation
• Type theory

DeSiGn Science ASSociAtion Foundations of Life Conference February 7-8, 2014 Friday 6:45pm to 9:45pm Saturday 9:00am to 4:45pm

Source URL: www.pdxdsa.org

Omer Reingold, August 2015 My research is in the Foundations of Computer Science. My core areas are Computational Complexity and Foundations of Cryptography with emphasis on Randomness, Derandomization and Explicit Combi

Source URL: omereingold.files.wordpress.com

Publications - Avinatan Hassidim Journal Publications 1. Monotonicity and Implementability. Itai Ashlagi, Mark Braverman, Avinatan Hassidim and Dov Monderer. Econometrica September 2010, pages 1749–Quantum Sta

Source URL: www2.lns.mit.edu

• Theoretical computer science
• Quantum information science
• Emerging technologies
• Quantum algorithm for linear systems of equations
• Quantum information
• QIP
• Quantum computing
• Symposium on Foundations of Computer Science
• Uman

Media as Material: Information Representations as Material Foundations for Organizational Practice Paul Dourish and Melissa Mazmanian Department of Informatics University of California, Irvine Irvine, CA, USA

Source URL: www.dourish.com

• Metaphysics
• Knowledge
• Philosophy
• Information science
• Information
• Digital divide
• Media technology
• Materiality
• Wanda Orlikowski
• Information society
• Information system
• Materialism

An Empirical Exploration of Moral Foundations Theory in Partisan News Sources Dean Fulgoni1 , Jordan Carpenter2 , Lyle Ungar1,2 , Daniel Preot¸iuc-Pietro1,2 1 Computer and Information Science, 3330 Walnut St.,Philadelp

Source URL: wwbp.org

• Ethics
• Evolutionary psychology
• Moral foundations theory
• Morality
• Conservatism in the United States
• Conservatism
• Framing
• Social justice
• Libertarianism
• Disgust
• Moral psychology
• Jonathan Haidt

MCS 590 – Foundations of Data Science Spring 2015 Problem Set 3 Lev Reyzin Due: at the beginning of class Instructions: Atop your problem set, please write your name and list your collaborators.

Source URL: homepages.math.uic.edu

Library History Network Terms of Reference: The Library History Network holds that Librarianship and related fields require an understanding of their historical, theoretical, and philosophical foundations in order to fac

Source URL: cla.ca

• Humanities
• Library science

Reinforcement Learning: Foundations Csaba Szepesv´ari Reinforcement Learning and Artificial Intelligence (RLAI) Group Department of Computing Science & AICML University of Alberta

Source URL: www.ualberta.ca

August 17, :19 main International Journal of Foundations of Computer Science c World Scientific Publishing Company

Source URL: www.ulb.ac.be